Controller Design for Petri Net with Uncontrollable Transition

IA Petri net controller method for Petri net model with uncontrollable transitions that enforces the conjunctions a set of linear inequalities on the Parikh vector or place markings is proposed. The method for constructing a Petri net feedback controller is based on part design and Petri net reduction technique. Constraints are classified into admissible and inadmissible constraints. Matrix-Transformation method is proposed to transform the inadmissible constraint into admissible one to construct the controller. The method eases the design of controller and holds remarkable advantages especially for systems with large scale, because it only considers local incident matrix related to the place and Parikh constraints and uncontrollable transitions. Finally, the method is proved to be simple and efficient through some examples.